Selected papers on Automath
- Författare
- (Edited by R.P. Nederpelt, J.H. Geuvers, R.C. De Vrijer.)
- Språk
- Engelska

Förlag | År | Ort | Om boken | ISBN |
---|---|---|---|---|
Elsevier | 1994 | Nederländerna, Amsterdam | xix, 1024 sidor. |
Förlag | År | Ort | Om boken | ISBN |
---|---|---|---|---|
Elsevier | 1994 | Nederländerna, Amsterdam | xix, 1024 sidor. |